Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
Adaptive Redox Flow Battery Stack Design via Bayesian Optimization & Multi-Objective Reinforcement Learning
dev.to·11h·
Discuss: DEV
🌡️Preservation Thermodynamics
Why AI Alone Fails at Large-Scale Code Modernization
thenewstack.io·13h
🔄Language Evolution
The Latest Projects from Cornell’s ECE 4760/5730
hackaday.com·14m
⚡Circuit Design
Google Summer of Code 2025 Reports: Asynchronous I/O Framework
blog.netbsd.org·11h
🔩Systems Programming
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Adaptive Root Cause Localization for Microservice Systems with Multi-Agent Recursion-of-Thought
arxiv.org·2d
🧮Z3 Solver
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·7h·
Discuss: r/MachineLearning
🔗Constraint Handling
Four Multipliers for Using AI Well: My Working Model
dev.to·15h·
Discuss: DEV
✨Effect Handlers
Understanding Automatic Differentiation
swagatmitrab.vercel.app·1d·
Discuss: Hacker News
📐Error Bounds
Hyper-Spectral Data Fusion for Enhanced Urban Change Detection via Bayesian Neural Networks
dev.to·6h·
Discuss: DEV
🧠Machine Learning
Enhanced Transient Thermal Behavior Prediction via Graph Neural Network-Augmented Finite Element Analysis
dev.to·2h·
Discuss: DEV
🖥️Hardware Architecture
Condor's Cuzco RISC-V Core at Hot Chips 2025
old.chipsandcheese.com·11h·
Discuss: Lobsters, Hacker News
⚙️Modern Assembly
LLMs running locally
markjgsmith.com·7h
🌀Brotli Internals
Hyper-Efficient Quantized Neural Network Pruning via Adaptive Bit-Width Allocation
dev.to·1d·
Discuss: DEV
📊Quantization
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·4h·
Discuss: Hacker News
🦀Rust Verification
Automated Signal Network Prioritization for Concurrent Stress Response in Plants
dev.to·3h·
Discuss: DEV
⚡Proof Automation